// 《围棋》作者版权所有。版权所有。
// 此源代码的使用受BSD样式
// 许可证的约束，该许可证可以在许可证文件中找到。

package s390x

import (
	"cmd/compile/internal/base"
	"cmd/compile/internal/objw"
	"cmd/internal/obj"
	"cmd/internal/obj/s390x"
)

// ClearLoopCutton是一个（有点任意）值，如果超过这个值，最好是
// 有一个清晰的指令循环（例如XCs），而不仅仅是生成
// 多条指令（即循环展开）。
// 必须介于256和4096之间。
const clearLoopCutoff = 1024

// zerorange清除给定范围内的堆栈。
func zerorange(pp *objw.Progs, p *obj.Prog, off, cnt int64, _ *uint32) *obj.Prog {
	if cnt == 0 {
		return p
	}

	// 调整框架以考虑LR。
	off += base.Ctxt.FixedFrameSize()
	reg := int16(s390x.REGSP)

	// 如果off不能适应12位无符号置换，那么我们需要创建一个堆栈指针的副本，以便进行调整。
	// 如果要循环，我们也需要这样做。
	if off < 0 || off > 4096-clearLoopCutoff || cnt > clearLoopCutoff {
		p = pp.Append(p, s390x.AADD, obj.TYPE_CONST, 0, off, obj.TYPE_REG, s390x.REGRT1, 0)
		p.Reg = int16(s390x.REGSP)
		reg = s390x.REGRT1
		off = 0
	}

	// 生成一个大的清除循环。
	if cnt > clearLoopCutoff {
		ireg := int16(s390x.REGRT2) // 寄存器保存剩余循环迭代次数
		p = pp.Append(p, s390x.AMOVD, obj.TYPE_CONST, 0, cnt/256, obj.TYPE_REG, ireg, 0)
		p = pp.Append(p, s390x.ACLEAR, obj.TYPE_CONST, 0, 256, obj.TYPE_MEM, reg, off)
		pl := p
		p = pp.Append(p, s390x.AADD, obj.TYPE_CONST, 0, 256, obj.TYPE_REG, reg, 0)
		p = pp.Append(p, s390x.ABRCTG, obj.TYPE_REG, ireg, 0, obj.TYPE_BRANCH, 0, 0)
		p.To.SetTarget(pl)
		cnt = cnt % 256
	}

	// 生成没有循环的剩余清除指令。
	for cnt > 0 {
		n := cnt

		// 每条指令最多可以清除256字节。
		if n > 256 {
			n = 256
		}

		switch n {
		// 使用移动指令处理非常小的清除。
		case 8, 4, 2, 1:
			ins := s390x.AMOVB
			switch n {
			case 8:
				ins = s390x.AMOVD
			case 4:
				ins = s390x.AMOVW
			case 2:
				ins = s390x.AMOVH
			}
			p = pp.Append(p, ins, obj.TYPE_CONST, 0, 0, obj.TYPE_MEM, reg, off)

		// 需要多个带有CLEAR（组装为XC）的移动指令的句柄清除。
		default:
			p = pp.Append(p, s390x.ACLEAR, obj.TYPE_CONST, 0, n, obj.TYPE_MEM, reg, off)
		}

		cnt -= n
		off += n
	}

	return p
}

func ginsnop(pp *objw.Progs) *obj.Prog {
	return pp.Prog(s390x.ANOPH)
}
